Designing Domain Specific Languages for Verification: First Steps
نویسندگان
چکیده
This paper introduces a first approach at developing a design methodology for creating domain specific languages focused towards modelling and verification. The work presented is ongoing. The overall aim of the work is to show how capturing domain specific knowledge, and then tailoring proof goals around this domain specific knowledge, can improve automatic verification results, whilst also providing a graphical domain specific language.
منابع مشابه
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl
Domain modelling based on UML Class Diagrams is an established industrial practice. In the context of the Railway industry, we show how to utilize such diagrams for verification. This involves the translation of UML Class Diagrams into the algebraic specification language CASL. To this end, we define new Class Diagram institutions and provide suitable institution comorphisms.
متن کاملComparison of Design Process in Student and Instructor
In this paper the designing products of B.A. Sophomore students of architecture in TehranUniversity who were divided into two kinds of learning namely technical and skill-based learning. In technical learningthe subjective steps of creativity process i.e. "insight", "preparation", "incubation", "intuition", and "verification"were discussed and it was suggested that these steps cannot be taught ...
متن کاملProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language
Domain-specific modelling (DSM) helps designing systems at a higher level of abstraction, by providing languages that are closer to the problem space than to the solution space. Unfortunately, specifying and verifying properties of the modelled system has been mostly neglected by DSM approaches. At best, this is only partially supported by translating models to formal representations on which p...
متن کاملModeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
This article presents a formalization of parts of the Unified Modeling Language (UML) w.r.t. the domain of modeling time-dependant manufacturing systems. The formalization approach is based upon a set of identified general formalization steps. We investigate the applicability of UML class diagrams, Statecharts, and UML’s textual Object Constraint Language (OCL) to model manufacturing systems an...
متن کاملDomain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems
This paper provides two contributions to the research on applying domain-specific modeling languages to distributed real-time embedded (DRE) systems. First, we present the ALDERIS platform-independent visual language for component-based system development. Second, we demonstrate the use of the ALDERIS language on a helicopter autopilot DRE design. The ALDERIS language is based on the concept of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011